Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

In this paper, the output reachable estimation and safety verification problems for multi-layer perceptron neural networks are addressed. First, a conception called maximum sensitivity in introduced and, for a class of multi-layer perceptrons whose activation functions are monotonic functions, the maximum sensitivity can be computed via solving convex optimization problems. Then, using a simulation-based method, the output reachable set estimation problem for neural networks is formulated into a chain of optimization problems. Finally, an automated safety verification is developed based on the output reachable set estimation result. An application to the safety verification for a robotic arm model with two joints is presented to show the effectiveness of proposed approaches.Comment: 8 pages, 9 figures, to appear in TNNL

Energy harvesting over Rician fading channel: A performance analysis for half-duplex bidirectional sensor networks under hardware impairments

In this paper, a rigorous analysis of the performance of time-switching energy harvesting strategy that is applied for a half-duplex bidirectional wireless sensor network with intermediate relay over a Rician fading channel is presented to provide the exact-form expressions of the outage probability, achievable throughput and the symbol-error-rate (SER) of the system under the hardware impairment condition. Using the proposed probabilistic models for wireless channels between mobile nodes as well as for the hardware noises, we derive the outage probability of the system, and then the throughput and SER can be obtained as a result. Both exact analysis and asymptotic analysis at high signal-power-to-noise-ratio regime are provided. Monte Carlo simulation is also conducted to verify the analysis. This work confirms the effectiveness of energy harvesting applied in wireless sensor networks over a Rician fading channel, and can provide an insightful understanding about the effect of various parameters on the system performance.Web of Science186art. no. 1781

Two-way half duplex decode and forward relaying network with hardware impairment over Rician fading channel: system performance analysis

In this paper, the system performance analysis of a two-way decode and forward (DF) relaying network over the Rician fading environment under hardware impairment effect is proposed, analyzed and demonstrated. In this analysis, the analytical mathematical expressions of the achievable throughput, the outage probability, and ergodic capacity were proposed, analyzed and demonstrated. After that, the effect of various system parameters on the system performance is deeply studied with closed-form expressions for the system performance. Finally, the analytical results are also demonstrated by Monte-Carlo simulation in comparison with the closed-form expressions. The numerical results demonstrated and convinced the effect of the system parameters on the system performance of the two-way DF relaying network. The results show that the analytical mathematical and simulated results match for all possible parameter values.Web of Science242787

The Sharing Economy and Collaborative Finance: the Case of P2p Lending in Vietnam

Peer-to-peer Online Lending (P2PO) has received increasing attention over the last years, not only because of its disruptive nature and its disintermediation of nearly all major banking functions, but also because of its rapid growth and expanding breadth of services. This model offers a new way of investing in addition to investing in traditional channels such as banking or financial company. The transaction process is done online, the personal information and terms of mobilization are completely transparent and secure in the best way. The strong development of P2PO also raises a number of issues that require careful attention to promote positive and to limit negative aspects. The research aims to highlight particular aspects of this new business model and to analyze the opportunities and risks for lenders and borrowers in Viet Nam. The research combines qualitative analysis and data survey to serve descriptive statistics about P2PO in Viet Nam. The research show the potential of online peer lending is enormous but the regulators will restrict the Sharing economy model in general and P2PO lending in particula